Involutivity of Field Equations
نویسنده
چکیده
We prove involutivity of Einstein and Einstein-Maxwell equations by calculating the Spencer cohomology of these systems. Relation with Cartan method is traced in details. Basic implications through Cartan-Kähler theory are derived.
منابع مشابه
Spencer δ-cohomology, restrictions, characteristics and involutive symbolic PDEs
We generalize the notion of involutivity to systems of differential equations of different orders and show that the classical results relating involutivity, restrictions, characteristics and characteristicity, known for first order systems, extend to the general context. This involves, in particular, a new definition of strong characteristicity. The proof exploits a spectral sequence relating S...
متن کاملSelected Aspects of Soliton Theory Constant boundary conditions
Brief review of the methods for solving the multicomponent nonlinear Schrödinger (MNLS) equations and analysis of their Hamiltonian structures is given. Main attention is paid to the MNLS related to the C.IIand D.III-types symmetric spaces with nonvanishing (constant) boundary conditions. The spectral properties of their Lax operators are described. The derivation of the trace identities is out...
متن کاملThomas Decomposition of Algebraic and Differential Systems
In this paper we consider disjoint decomposition of algebraic and non-linear partial differential systems of equations and inequations into so-called simple subsystems. We exploit Thomas decomposition ideas and develop them into a new algorithm. For algebraic systems simplicity means triangularity, squarefreeness and non-vanishing initials. For differential systems the algorithm provides not on...
متن کاملInvolutivity of truncated microsupports
Using a result of J-M. Bony, we prove the weak involutivity of truncated microsupports. More precisely, given a sheaf F on a real manifold and k ∈ Z, if two functions vanish on SSk(F ), then so does their Poisson bracket.
متن کاملNew Deformations of Group Algebras of Coxeter Groups
The goal of this paper is to define new deformations of group algebras of Coxeter groups. Recall that a Coxeter group W is generated by elements si, i ∈ I modulo two kinds of relations – the involutivity relations si = 1 and the relations (sisj) mij = 1, where 2 ≤ mij = mji ≤ ∞; in presence of the involutivity relations these are equivalent to the braid relations sisjsi... = sjsisj... (mij fact...
متن کامل